Перегляд за автором "Колчин, А.В."

Результати 1-16 з 16

Автоматический метод динамического построения абстракций состояний формальной модели

Колчин, А.В. (Кибернетика и системный анализ, 2010)

Описано метод побудови абстракцій для підвищення ефективності перевірки формальних моделей. Послаблення відношення еквівалентності станів досягається за рахунок ігнорування незначущих значень атрибутів. Результати експериментів ...
Автоматический метод оперативного построения абстракций при верификации формальных моделей асинхронных систем

Колчин, А.В. (2008)

Предложен метод построения точных абстракций «на лету» и его использование в верификации формальных моделей. Метод основан на том, что каждое пройденное состояние модели характеризуется неполным набором атрибутов, при ...
Генерация тестовых сценариев на основе формальной модели

Летичевский, А.А.; Колчин, А.В. (2010)

Описан метод направленного поиска для автоматического построения тестовых сценариев в процессе верификации. Основная цель – достижение семантического соответствия между полученными тестовыми сценариями и функциональными ...
Интерактивная система для анализа поведения формальных моделей программных систем

Колчин, А.В.; Четвертак, Р.В. (Штучний інтелект, 2012)

Цель работы – разработка инструментальных средств для автоматизации анализа и упрощения понимания поведения формальных моделей. Предложены методы локализации причин нарушения проверяемых свойств и вычленения релевантных ...
Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем

Колчин, А.В.; Потиенко, С.В. (Штучний інтелект, 2018)

Предложен интерактивный метод для упрощения отладки и повышения производительности построения тестовых сценариев для обеспечения покрытия требований высокого уровня. Метод реализует полуавтома-тическую генерацию тестов, ...
Метод генерации тестовых данных по исходному коду Java программ

Колчин, А.В.; Потиенко, С.В. (Штучний інтелект, 2016)

Цель предлагаемого метода – повышение эффективности автоматической генерации и минимизации множества тестовых данных для обеспечения покрытия исходного кода Java программ. Рассматриваются различные виды покрытия, способы ...
Метод генерации тестовых сценариев в среде инсерционного моделирования

Колчин, А.В.; Котляров, В.П.; Дробинцев, П.Д. (Управляющие системы и машины, 2012)

Описан метод поиска специфических поведений формальных моделей, использующий задаваемую пользователем дополнительную информацию о поведенческих особенностях проектируемой системы, и его применение к автоматическому построению ...
Метод извлечения логики поведения из промышленного программного кода на языке Кобол

Губа, А.А.; Колчин, А.В.; Потиенко, С.В. (Проблеми програмування, 2016)

Цель работы – разработка комплекса инструментальных средств для автоматизации анализа и упрощения понимания поведения кода программных систем. Предложены методы трансляции, абстракции, отладки и построения тестов для языка ...
Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем

Колчин, А.В. (2008)

Предложен метод направленного поиска для автоматического построения тестовых сценариев в процессе верификации. Метод использует определяемые пользователем в виде регулярных выражений цели тестирования и ограничения обхода ...
Метод редукции анализируемого пространства поведения при верификации формальных моделей распределенных программных систем

Колчин, А.В. (Искусственный интеллект, 2013)

В основе предложенного метода лежит алгоритм отсечения избыточных по отношению к проверяемым свойствам ветвей поведения формальной модели. Факт избыточности устанавливается на основании доказательства изоморфизма на графе ...
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем

Колчин, А.В.; Летичевский, А.А.; Потиенко, С.В. (Проблеми програмування, 2014)

Описан метод выявления таких патологий формальных моделей, как неполнота и противоречивость, а так же гонки в параллельных процессах. Метод реализует проверку свойств на основании анализа описания переходов модели, при ...
Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ

Волков, В.А.; Колчин, А.В.; Летичевский, А.А.; Потиенко, С.В. (Штучний інтелект, 2017)

Обзор включает описание распространенных типов покрытия и современных методов генерации тестов из кода императивных программ. Особое внимание уделено методам, в основу которых положена техника символьного выполнения. ...
Обзор современных систем и методов верификации формальных моделей

Колчин, А.В.; Летичевский, А.А.; Потиенко, С.В.; Песчаненко, В.С. (Проблеми програмування, 2012)

Приведен обзор автоматических методов проверки правильности формальных моделей программных систем. Рассмотрены проверяемые свойства, методы редукции и современные инструментальные средства проверки моделей.
Оптимизация проверки выполнимости переходов при верификации формальных моделей

Колчин, А.В. (Проблеми програмування, 2012)

При проверке динамических свойств формальных моделей программ, в которых последовательность выполнения операторов выражена неявно, существенную часть операционного времени верификаторы тратят на анализ выполнимости переходов. ...
Разработка инструментальных средств для проверки формальных моделей

Колчин, А.В. (2008)

Разработан программный комплекс для автоматической проверки динамических свойств формальных моделей и построения тестовых сценариев. Описаны методы направленного поиска, а так же методы оптимизации обхода пространства поведения.
Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем

Колчин, А.В.; Летичевский, А.А.; Потиенко, С.В. (Штучний інтелект, 2015)

Цель предлагаемого метода – сократить исследуемое пространство поведения формальных моделей, и, как следствие, повысить эффективность анализа ее свойств. В основу метода положен алгоритм статического символьного анализа ...

Результати 1-16 з 16

Пошук

Розширений пошук

Перегляд

Вся бібліотека

Перегляд за автором "Колчин, А.В."

Репозиторій DSpace/Manakin

Перегляд за автором "Колчин, А.В."

Пошук

Перегляд

Вся бібліотека

Мій обліковий запис